Communicating Concurrent Processes
نویسنده
چکیده
Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).
منابع مشابه
Compiling CSP
CSP, Hoare’s Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs. This paper presents an alternative use for CSP, namely the compilation of CSP systems to executable code. The main motivation for...
متن کاملA Concurrent Programming Support for Distributed Systems
This paper describes a concurrent programming support implemented on a distributed architecture. The concurrent programming model is derived from the Communicating Sequential Processes (CSP), with some extensions to allow asymmetrical and asynchronous communications; furthermore, some statements for fault handling have been defrned. The system described here, is named NERECO (NEtwork REmote COm...
متن کاملType-driven Development of Concurrent Communicating Systems
Modern software systems rely on communication, for example mobile applications communicating with a central server, distributed systems coordinating a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent programs is hard, since we must reason about each process and the order in which communication might hap...
متن کاملCompositional Development in the Event of Interface Difference
We present here an implementation relation which allows compositional development of a network of communicating processes, in the event that corresponding specification and implementation components have different interfaces. This relation enjoys two basic properties which are fundamental to its success. It is compositional, in the sense that a target composed of several connected systems may b...
متن کاملA Calculus for Concurrent Processes with Constraints
The -calculus is a formal model of concurrent computation based on the notion of naming. It has an important role to play in the search for more abstract theories of concurrent and communicating systems. In this paper we augment the -calculus with a constraint store and add the notion of constraint agent to the standard -calculus concept of agent. We call this extension the -calculus. We also e...
متن کامل